منابع مشابه
Petri Nets and Business Process Management
The management of business processes comprises their planning, specification, modeling, analysis and computer-supported execution. Current trends in information technology such as workflow management systems or packaged software systems indicate the increasing importance of a systematic approach to business process management. Many graphical notations are in everyday use for business modeling p...
متن کاملNETS AND SEPARATED S-POSETS
Nets, useful topological tools, used to generalize certainconcepts that may only be general enough in the context of metricspaces. In this work we introduce this concept in an $S$-poset, aposet with an action of a posemigroup $S$ on it whichis a very useful structure in computer sciences and interestingfor mathematicians, and give the the concept of $S$-net. Using $S$-nets and itsconvergency we...
متن کاملBusiness Process Modeling Applications Using Decision Process Petri Nets
This paper presents a formal framework for business process modeling and analysis using partially ordered transition Decision Process Petri nets (DPPN). The advantage of this approach is its ability to represent the dynamic behavior of the business process. The business process model is supported by an information technology strategic planning (ITSP) model and methodology. The modeling methodol...
متن کاملSoftware Process Modelling with FUNSOFT Nets
In this paper we introduce FUNSOFT nets. FUNSOFT nets are high level Petri nets which are well-suited for software process modelling. We deene the semantics of FUNSOFT nets in terms of Pr/T nets. Thus we enable the use of standard Petri net analysis techniques for examining software process model properties. We point out which analysis techniques are of interest from a software process modellin...
متن کاملProcess semantics of general inhibitor nets
We define a causality semantics of Place/Transition nets with weighted inhibitor arcs (PTI-nets). We extend the standard approach to defining the partial order semantics of Place/Transition nets (PT-nets) based on the process semantics given through net unfolding and occurrence nets. To deal with inhibitor arcs at the level of occurrence nets activator arcs (and extra conditions) are used. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Obstetrics, Gynecology and Reproduction
سال: 2021
ISSN: 2500-3194,2313-7347
DOI: 10.17749/2313-7347/ob.gyn.rep.2021.204